| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| color.pro | Text File | 48 | 3KB | 1993-09-07 |
| config.ps | Text File | 63 | 1KB | 1993-09-07 |
| crop.pro | Text File | 7 | 315b | 1993-09-07 |
| finclude.pro | Text File | 5 | 204b | 1993-09-07 |
| init.ps | Text File | 209 | 6KB | 1994-06-08 |
| psfonts.map | Text File | 86 | 3KB | 1993-09-07 |
| special.pro | Text File | 57 | 4KB | 1993-09-07 |
| tex.pro | Text File | 48 | 3KB | 1993-09-07 |
| texc.pro | Text File | 60 | 4KB | 1993-09-07 |
| texps.pro | Text File | 12 | 633b | 1993-09-07 |